<HTML><HEAD><TITLE>schedule_woken(++SuspList)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Obsolete</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>schedule_woken(++SuspList)</H1>
Pass the suspension list SuspList to the waking scheduler.


<DL>
<DT><EM>SuspList</EM></DT>
<DD>Suspension list or difference list or variable
</DD>
</DL>
<H3>This built-in predicate is obsolete!</H3>
<H2>Description</H2>
   Suspensions in ECLiPSe are executed in two stages:  first the suspension
   is processed by the waking scheduler which puts it into a global
   priority list where it waits until the wake/0 predicate is called by a
   predicate which is running with lower priority than the priority of the
   suspension.  The predicate schedule_woken/1 is the interface to the
   waking scheduler.  It accepts a list or a difference list of
   suspensions.  Executed suspensions are ignored, sleeping suspensions are
   inserted into the corresponding priority list.

<P>

<H3>Modes and Determinism</H3><UL>
<LI>schedule_woken(++) is det
</UL>
<H3>Exceptions</H3>
<DL>
<DT><EM>(5) type error </EM>
<DD>SuspList is not a list nor a difference list nor free.
</DL>
<H2>Examples</H2>
<PRE>
[eclipse 1]: make_suspension(writeln(hello), 1, S),
             schedule_woken([S]), wake.
hello

S = 'WOKEN GOAL'
yes.
[eclipse 2]: make_suspension(writeln(hello), 255, S),
             schedule_woken([S]), wake.

S = 'GOAL'(writeln(hello), eclipse)

Delayed goals:
writeln(hello)
yes.



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/suspensions/schedule_suspensions-2.html">schedule_suspensions / 2</A>, <A HREF="../../kernel/suspensions/insert_suspension-3.html">insert_suspension / 3</A>, <A HREF="../../kernel/suspensions/insert_suspension-4.html">insert_suspension / 4</A>, <A HREF="../../kernel/typetest/is_suspension-1.html">is_suspension / 1</A>, <A HREF="../../kernel/obsolete/suspension_to_goal-3.html">suspension_to_goal / 3</A>, <A HREF="../../kernel/suspensions/wake-0.html">wake / 0</A>
</BODY></HTML>
